#!/usr/bin/env bash

SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )

"$SCRIPT_DIR"/../build/bin/es2panda \
        --arktsconfig="$SCRIPT_DIR"/../build/tools/es2panda/generated/arktsconfig.json \
        --gen-stdlib=false \
        --extension=ets \
        --opt-level=0 \
        --output=/dev/null \
        "$1" | "$SCRIPT_DIR"/errors4test.py
